قضایای ناتمامیت: مبانی، برهان و برخی نتایج فلسفی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
- نویسنده میثم میرزایی عطاآبادی
- استاد راهنما علی اکبر احمدی افرمجانی مرتضی منیری
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1387
چکیده
چکیده ندارد.
منابع مشابه
برهان های قضایای ناتمامیت براساس پارادوکس بری
گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...
آیا قضایای ناتمامیت گودل را می‌توان در مکانیک کوانتومی به‌کاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
متن کاملقضایای ناتمامیت گودل و راسر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
سیر برهان صدیقین و تحول خداشناسی فلسفی
برهان صدیقین نمونه خوبی است از مباحث فلسفی که سیر تحول آن بیانگر ژرفنگری فیلسوفان مسلمان در ابداع و ارائه ملاک دقیق در نزدیکتر شدن به آموزه دینی « خدا را به خدا شناختن» می باشد. تلاش ابن سینا ارائه برهان مبتنی بر وجودشناسی به هدف بی نیازی از مبادی تصوری جهان شناختی بود. صدرا معتقد است برهان ابن سینا فقط ابتنای بر مبادی وجود شناختی ندارد، زیرا وی از امکان ماهوی نیز بهره برده است. برهان شیخ اشراق...
متن کاملپارادکس یابلو و قضایای ناتمامیت ریاضی
پارادُکس یابلو از چالش برانگیزترین مباحثی است که اخیراً مورد نقد و بررسی فیلسوفان، ریاضی دانان و حتی دانشمندان علوم کامپیوتر قرار گرفته است. در این پارادکس با معرفی یک سری بی پایان از جملاتی که خود-متناقض نیستند، ولی از وجود این بی نهایت جمله تناقض نتیجه می شود، ظاهراً از دور و تسلسل دوری می گردد. در حقیقت هر جمله از دنباله یابلو بیان می کند که تمامی جملات پس از او همگی نادرستند. می توان دید که و...
بررسی تطبیقی برهان جهانشناختی فلسفی و کلامی
برهان جهانشناختی از مهم‌ترین براهین اثبات وجود خدا به شمار میآید که فیلسوفان و متکلمان بر اساس مبانی فکری خود آن را بررسی کردهاند. هسته مرکزی این برهان از دیدگاه فیلسوفان، امکان و وجوب و از دیدگاه متکلمان، حدوث و قدم است. این مقاله این دو برهان را توضیح میدهد و مبانی آنها را بیان میکند، آنگاه به دیدگاه فیلسوفان و متکلمان درباره معیار نیازمندی معلول به علت پرداخته، دیدگاه فیلسوفان و متکلم...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023